Artículo
|
A formal approach to building a polymorphism metric in object-oriented systems :
|
Pons, Claudia Fabiana
|
(2000)
|
|
----------
|
Artículo
|
A formal mechanism for assessing polymorphism in object-oriented systems:
|
Pons, Claudia Fabiana
|
(2000)
|
|
----------
|
Artículo
|
A lightweight approach for the semantic validation of model refinements :
|
Pons, Claudia Fabiana
|
(2008)
|
|
----------
|
Tesis
|
Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas:
|
Mola, Vanesa
|
(2001)
|
Sala
|
----------
|
Libro
|
Desenvolvimento sistemático de programas corretos: a abordagem denotacional
|
Martins, Raul César Baptista
|
1a ed.
(1988)
|
|
----------
|
Artículo
|
Dimensions in the object oriented software development process :
|
Pons, Claudia Fabiana
|
(2002)
|
|
----------
|
Libro
|
Especifiçaoes formais e sistemas de bancos de dados
|
Castilho, José Mauro Volkmer de
|
Ed. prelim.
(1987)
|
Domicilio
|
----------
|
Libro
|
FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
|
International Symposium of Formal Methods Europe
|
1st ed.
(c1994)
|
Domicilio
|
----------
|
Libro
|
FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
|
----------
|
1st ed.
(c1996)
|
Domicilio
|
----------
|
Tesis
|
Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó:
|
Martínez López, Pablo Ernesto
|
(1996)
|
Sala
|
----------
|